Nuprl Definition : callbyvalue
13,42
postcript
pdf
callbyvalue(
a
;
x
.
B
(
x
)) is Primitive
latex
Up
call by value
FDL editor aliases
callbyvalue
origin